type Option[A] = Either[Unit, A]